This lets the user start typing in the newly-selected window right
away, without any characters possibly getting eaten during the
animation.
https://bugzilla.gnome.org/show_bug.cgi?id=644857
this.destroy();
},
+ _popModal: function() {
+ if (this._haveModal) {
+ Main.popModal(this.actor);
+ this._haveModal = false;
+ }
+ },
+
destroy : function() {
+ this._popModal();
if (this.actor.visible) {
Tweener.addTween(this.actor,
{ opacity: 0,
},
_onDestroy : function() {
- if (this._haveModal)
- Main.popModal(this.actor);
+ this._popModal();
if (this._thumbnails)
this._destroyThumbnails();
},
_onDestroy : function() {
+ this._popModal();
if (this._keyPressEventId)
this.actor.disconnect(this._keyPressEventId);
if (this._keyReleaseEventId)